доказательство теоремы

См. также в других словарях:

• доказательство — Вопрос Как правильно: «нет доказательств тому, что» или «нет доказательств того, что...»?      Падеж управляемого слова зависит от его частеречной принадлежности.    Если зависимсое слово – имя существительное, то род. п.: доказательство чего –… …   Словарь трудностей русского языка

• доказательство — чего и чему. 1. чего (при выражении зависимого слова именем существительным). Доказательство теоремы. Он был очень доволен и своим лицом... и широкими плечами, которые служили очевидным доказательством его хорошего здоровья (Чехов). 2. чему (при… …   Словарь управления

• Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте  две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… …   Википедия

• доказательство —         ДОКАЗАТЕЛЬСТВО процедура, призванная убедить и убеждающая человека в истинности некоторого положения настолько, что с ее помощью он может убеждать в истинности этого положения других. В узком (собственно логическом) смысле под Д.… …   Энциклопедия эпистемологии и философии науки

• Теоремы косинусов (сферическая геометрия) — Сферический треугольник. Первая и вторая сферические теоремы косинусов устанавливают соотношения между сторонами и противолежащими им углами сферического треугольника …   Википедия

• ДОКАЗАТЕЛЬСТВО РАЗБОРОМ СЛУЧАЕВ — рассуждение по случаям (англ. proof by cases), – распространенный (особенно в содержательном мышлении) способ логич. вывода, при к ром справедливость заключения устанавливается посредством рассмотрения ряда условий (случаев), анализ к рых… …   Философская энциклопедия

• Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от …   Википедия

• КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО — понятие логики (см. Умозаключение апагогическое). Философский энциклопедический словарь. 2010. КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО …   Философская энциклопедия

• ЛОГИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО — последовательность высказываний, часть которых является ее исходными утверждениями аксиомами, а все другие выводятся из них по четко указанным правилам вывода (основные из них дедукция, математическая индукция, правило подстановки) или вводятся с …   Философия науки: Словарь основных терминов

• рассуждение-доказательство — Вид рассуждения, нацеленный на доказательство какого либо тезиса, положения, теоремы, теории и т.п. Используется в научном стиле, в учебном подстиле …   Словарь лингвистических терминов Т.В. Жеребило

• рассуждение-доказательство —   Вид рассуждения, нацеленный на доказательство какого либо тезиса, положения, теоремы, теории и т.п. Используется в научном стиле, в учебном подстиле …   Методы исследования и анализа текста. Словарь-справочник